Specification of PSIDE

نویسندگان

  • Jacques J.B. de Swart
  • Walter M. Lioen
  • Wolter A. van der Veen
چکیده

PSIDE is a code for solving implicit differential equations on parallel computers. It is an implementation of the four-stage Radau IIA method. The nonlinear systems are solved by a modified Newton process, in which every Newton iterate itself is computed by an iteration process. This process is constructed such that the four stage values can be computed simultaneously. We describe here how PSIDE is set up as a modular system and what control strategies have been chosen. 1991 Mathematics Subject Classification: Primary: 65-04, Secondary: 65L05, 65Y05. 1991 Computing Reviews Classification System: G.1.7, G.4.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A model for specification, composition and verification of access control policies and its application to web services

Despite significant advances in the access control domain, requirements of new computational environments like web services still raise new challenges. Lack of appropriate method for specification of access control policies (ACPs), composition, verification and analysis of them have all made the access control in the composition of web services a complicated problem. In this paper, a new indepe...

متن کامل

The Value of Panoramic Radiography in Gender Specification of Edentulous Iranian Population

Introduction: gender specification among the forensic dentistry and human anthropology, is mainly based on anatomic variations. Due to racial differences and environmental factors such as time of tooth extraction, osteoporosis, dietary habits, usage of dental prosthetics and periodontal diseases, there will be different results achieved. The purpose of this study is to classify the gender speci...

متن کامل

Web Service Choreography Verification Using Z Formal Specification

Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...

متن کامل

Determination of Relationship between Autoignition of Sponge Iron and Specification of the Iron Ores

Sponge iron (DRI) due to the high surface area, often shows a high tendency to re-oxidation and at some cases spontaneous combustion (autoignition). In this work, re-oxidation behavior and autoignition of sponge iron, produced from different types of iron ore has been investigated. Isothermal and non-isothermal re-oxidation experiments were carried out on each type of DRI and their autoignition...

متن کامل

Determination of Relationship between Autoignition of Sponge Iron and Specification of the Iron Ores

Sponge iron (DRI) due to the high surface area, often shows a high tendency to re-oxidation and at some cases spontaneous combustion (autoignition). In this work, re-oxidation behavior and autoignition of sponge iron, produced from different types of iron ore has been investigated. Isothermal and non-isothermal re-oxidation experiments were carried out on each type of DRI and their autoignition...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1998